منابع مشابه
Explanations Count Explanations Count
In research areas such as decision support systems, one of the crucial features is the ability to automatically explain decisions. However, this ability does not typically play a large role in computer games. Here, I suggest that this situation will change: research on the automatic generation of explanations will have real import for many types of computer games. I discuss four possible ways t...
متن کاملCount(q) Does Not Imply Count(p)
I solve a conjecture originally studied by M. Ajtai. It states that for different primes q, p the matching principles Count(q) and Count(p) are logically independent. I prove that this indeed is the case. Actually I show that Count(q) implies Count(p) exactly when each prime factor in p also is a factor in q. 1 The logic of elementary counting “She loves me, she loves me not, she loves me,. . ....
متن کاملExplanations Count
In research areas such as decision support systems, one of the crucial features is the ability to automatically explain decisions. However, this ability does not typically play a large role in computer games. Here, I suggest that this situation will change: research on the automatic generation of explanations will have real import for many types of computer games. I discuss four possible ways t...
متن کاملHeads count
The growth in the human population poses a wide range of serious threats to the planet. Many have been highlighted but the political and social response has been ineffective in many countries. A special issue of the Philosophical Transactions of the Royal Society, published online, provides us “with an intellectual feast”, even though the papers “will leave a bitter taste in the mouth afterward...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2014
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.343.6169.352-b